Using parametric set constraints for locating errors in CLP programs
نویسندگان
چکیده
منابع مشابه
Using parametric set constraints for locating errors in CLP programs
This paper introduces a framework of parametric descriptive directional types for constraint logic programming (CLP). It proposes a method for locating type errors in CLP programs and presents a prototype debugging tool. The main technique used is checking correctness of programs w.r.t. type speciications. The approach is based on a generalization of known methods for proving correctness of log...
متن کاملTyping Linear Constraints for Moding CLP() Programs
We present a type system for linear constraints over reals and its use in mode analysis of CLP programs. The type system is designed to reason about the properties of definiteness, lower and upper bounds of variables of a linear constraint. Two proof procedures are presented for checking validity of type assertions. The first one considers lower and upper bound types, and it relies on solving h...
متن کاملNarrowing the Gap between Set-Constraints and CLP(SET)-Constraints
We compare two (apparently) rather different set-based constraint languages, and we show that, in spite of their different origins and aims, there are large classes of constraint formulae for which both proposals provide suitable procedures for testing constraint satisfiability with respect to a given privileged interpretation. Specifically, we present a technique for reducing any set-constrain...
متن کاملDisjunctive Programs with Set Constraints
We study an extension of disjunctive logic programs called set constraint disjunctive (SCD) programs where the clauses of the program are allowed to have a disjunction of monotone set constraints in their head and arbitrary monotone and antimonotone set constraints in their body. We introduce new class of models called selector stable models which represent all models which can be computed by a...
متن کاملA parametric active set method for quadratic programs with vanishing constraints
Combinatorial and logic constraints arising in a number of challenging optimization applications can be formulated as vanishing constraints. Quadratic programs with vanishing constraints (QPVCs) then arise as subproblems during the numerical solution of such problems using algorithms of the Sequential Quadratic Programming type. QPVCs are nonconvex problems violating standard constraint qualifi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2002
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068402001473